1. A tale of discrete mathematics
Author: Joseph Khoury.,Khoury, Joseph,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Combinatorial analysis,Set theory,Algebraic logic,Textbooks.,Textbooks.,Textbooks.,Textbooks.
2. Algebraic and Differential Methods for Nonlinear Control Theory :
Author: Rafael Martínez-Guerra, Oscar Martínez-Fuentes, Juan Javier Montesinos-García.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Commutative algebra.,Geometry, Algebraic.,Nonlinear control theory.,Commutative algebra.,Geometry, Algebraic.,MATHEMATICS-- General.,Nonlinear control theory.,TECHNOLOGY & ENGINEERING-- Engineering (General)
Classification :
QA402
.
35
3. Bridge to abstract mathematics /
Author: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
4. Closure Spaces and Logic
Author: by Norman M. Martin, Stephen Pollard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
5. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
6. Discrete mathematics
Author: by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
Classification :
QA
,
162
,.
D57
,
2007
7. Discrete mechanics, geometric integration and Lie-Butcher series :
Author: Kurusch Ebrahimi-Fard, María Barbero Liñán, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Lie algebras, Congresses.,Lie groups, Congresses.,Algebra.,Cybernetics & systems theory.,Differential & Riemannian geometry.,Groups & group theory.,Lie algebras.,Lie groups.,MATHEMATICS-- Algebra-- Intermediate.,Numerical analysis.
Classification :
QA252
.
3
8. Dynamical Systems, Control, Coding, Computer Vision
Author: edited by Giorgio Picci, David S. Gilliam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
9. Introduction · to Mathematical Structures and · Proofs
Author: by Larry J. Gerstein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General).
10. Introduction to mathematical proofs :
Author: Charles E. Roberts, Jr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
Classification :
QA9
.
54
.
R63
2010
11. Linear Operators and Approximation / Lineare Operatoren und Approximation
Author: edited by P. L. Butzer, J.-P. Kahane, B. Szökefalvi-Nagy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General).
12. Logical foundations of computer science :
Author: eds.: Anil Nerode ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
13. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976
14. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989
15. Mathematical analysis
Author: Bernd S.W. Schreoder
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Mathematical analysis
Classification :
515
,.
S376M
,
2008
16. Reading, writing, and proving :
Author: Ulrich Daepp, Pamela Gorkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- Study and teaching (Higher)-- United States.,Technical writing-- Study and teaching (Higher)-- United States.,Mathematics-- Study and teaching (Higher),Technical writing-- Study and teaching (Higher),United States., 7
Classification :
QA13
.
D34
2011
17. Schaum's outline of theory and problems of discrete mathematics
Author: abridgement editor, George J. Hademenos.
Library: Vali Asr University Central Library (Kerman)
Subject: Algebra, Abstract,Combinatorial analysis,Logic, Symbolic and mathematical
Classification :
QA
162
.
D57
2003
18. Set relations , Functions
Author: Selby, Samuel 4091-
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Set theory,، Functions,، Algebra , Abstract
Classification :
QA
248
.
3
.
S4
1969
19. Sets, relations, functions
Author: Selby, Samuel M.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Set theory,، Functions,، Algebra, Abstract
Classification :
QA
248
.
3
.
S4
1969
20. Sets, relations, functions
Author: Selby, Samuel M
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Set theory,، Functions,، Algebra, Abstract
Classification :
QA
248
.
3
.
S4
1969
